Automated construction of security integrity wrappers for Industry 4.0 applications

Industry 4.0 (I4.0) refers to the trend towards automation and data exchange in manufacturing technologies processes which include cyber-physical systems, where internet of things connect with each other environment via networking. This new connectivity opens systems attacks, by, e.g. , injecting or tampering messages. The solution supported by communication protocols such as OPC-UA is sign and/or encrypt However, given limited resources devices high performance requirements I4.0 applications, instead applying crypto algorithms all messages network, it better focus on messages, that if tampered injected, could lead undesired configurations. paper describes a framework for developing analyzing formal executable specifications applications Maude. supports engineering design workflow using theory transformations enumerate network attacks leading states, determine wrappers preventing these attacks. In particular, deployment map from application components we define transformation models execution set (network) devices. Given an enumeration (message flows) further wraps device policies signing/signature checking just those needed prevent addition, report series experiments bounded intruder against variations Pick-n-Place application, investigating effect increasing bounds size minimizing number must be signed.